Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
421	UITP[removed]A User Interface for a Mathematical System that Allows Ambiguous Formulae Claudio Sacerdoti Coen 1,2 Department of Computer Science, University of Bologna Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-01-19 05:48:12 Mathematical logic Model theory Predicate logic Formal languages Interpretation Ambiguity Mathematical notation Formal proof ALGOL 68 Logic Semantics Mathematics
422	Lisp in Summer Projects Submission Submission Date[removed]:52:26 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Functional languages Lisp programming language Clojure Cross-platform software Predicate logic Lisp JavaScript Predicate Etiquette Computing Software engineering Programming language theory
423	Towards a Study of Meta-Predicate Semantics Paulo Moura Dep. of Computer Science, Univ. of Beira Interior, Portugal Center for Research in Advanced Computing Systems Add to Reading List Source URL: logtalk.org Language: English - Date: 2010-07-14 20:23:31 Prolog Predicate Predicate logic Logtalk Logic Software engineering Programming language theory
424	Children’s Interpretation of Negative Determiners as a Window into Q-Spreading Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:51:04 Mathematical logic Model theory Predicate logic Quantification Philosophical logic Singular they First-order logic Interpretation Sentence Logic Linguistics Semantics
425	Deriving Some Properties of Protasis-Referring Conditionals Anie Thompson University of California, Santa Cruz This work focuses on a class of conditionals which I will here term Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:01:28 Parts of speech Semantics Logic Polarity item Predicate Protasis Presupposition Noun phrase Copula Linguistics Syntax Grammar
426	The Life and Death of Discourse Entities: Identifying Singleton Mentions Christopher Potts Marie-Catherine de Marneffe Marta Recasens Linguistics Department Linguistics Department Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2013-03-26 02:55:07 Science Predicate logic Computational linguistics Grammar Natural language processing Coreference Named-entity recognition Anaphora Word-sense disambiguation Linguistics Semantics Logic
427	Two Puzzles about Infinitivals with Too Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:41 Philosophy of language Parts of speech Wh-movement Parasitic gap Function Interpretation Predicate De dicto and de re Logic Linguistics Syntax Semantics
428	Syntax, Semantics, and Pragmatics of Contexts Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2010-05-15 12:06:34 Predicate logic Philosophical logic Quantification Existential graph Conceptual graph First-order logic Charles Sanders Peirce bibliography Universal quantification Well-formed formula Logic Science Mathematical logic
429	A Comparative Study of Topological Relation Markers in Two Gur Languages: Gurene and Chakali Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:49:41 Grammar Parts of speech Gur languages Predicate Semantics Language Gurunsi languages Function Noun Logic Mathematics Mathematical logic
430	The Acquisition of Universal Quantifiers in Russian Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:50:59 Linguistics Predicate logic Model theory Semantics First-order logic Uniqueness quantification Singular they Interpretation Universal quantification Quantification Logic Mathematical logic

UPDATE